-
1 universal negation
Лингвистика: общее отрицание -
2 law
1) закон3) правило4) принцип•under the law — по закону, согласно закону, в соответствии с законом
- Biot law- converse law of double negation- cube law- distributive law of disjunction over conjunction - double law of the mean - fifth power law - first distributive law - first law of mean- gas law- idempotency law - infinitely decomposable law - infinitely divisible law - inverse sine law - inverse square law - law of addition of probability - law of alteration of quantifiers - law of associativity of disjunction - law of comparative judgment - law of constant angles - law of double complementation - law of equal significance - law of mass action - law of random function - law of random vector - law of requisite variety - law of right invertibility - law of statistical regularity - law of universal causation - law of universal gravitation - Newton's first law of motion - Newton's law of gravitation - Newton's second law of motion - Newton's third law of motion - normal law of composition - normal law of errors - one-sided modular law - probabilistic law - probability law - product law of probability - quadratic reciprocity law - second law of mean - second order law - similitude law- time law- weak law -
3 symbol
1) знак2) обозначение3) символ, символическое обозначение•- power residue symbol - symbol of unit - symbol of virtual intersection -
4 law
1) закон
2) закономерность
3) правило
4) принцип
– according to law
– additivity law
– adiabatic law
– associative law
– be c the commutative law
– binomial-distribution law
– binomila law
– Biot law
– Biot-Savart law
– Boyle's law
– bu the law
– Bunsen-Roscoe law
– Buys-Ballot's law
– cancellation law
– commutative law
– cosine law
– Coulomb's law
– Dalton's law
– Darcy's law
– distribution law
– distributive law
– draft law
– Einstein's law of gravitation
– equipartition law
– exponential law
– find by the law
– free-fall law
– fundamental law
– Galileo's law of inertia
– gas law
– Gay-Lussac's law
– Henry's law
– Hess's law
– Hooke's law
– hyperbolic law
– ideal gas law
– inverse-square law
– Laplace's law
– law of absorption
– law of accidental errors
– law of action and reaction
– law of combining volumes
– law of compound interest
– law of conservation of energy
– law of conservation of mass
– law of conservation of matter
– law of constant angles
– law of constnat proportions
– law of contradiction
– law of convection
– law of cosines
– law of degradation of energy
– law of development
– law of distributive proportions
– law of double negation
– law of elasticity
– law of experience
– law of identity
– law of iterated logarithm
– law of large numbers
– law of mass action
– law of multiple proportions
– law of mutuality phases
– law of nature
– law of propagation errors
– law of requisite variety
– law of small numbers
– law of the excluded middle
– law of thermodynamics
– law of triple negation
– law of universal gravitation
– law of value
– law of virutal velocities
– mass-luminosity law
– Newton's law of gravitation
– Oberth's law
– obey the law
– Ohm's law
– Pascal's law
– Paschen's law
– probability law
– quantum law
– radio-active-displacement law
– Rayleigh-Jeans law
– reciprocity law
– red-shift law
– scaling law
– sine law
– Snell's law
– space-charge law
– Sporer's law
– square law
– square law detector
– substantive law
– Sylvester's law of unity
– symmetry law
– transformation law
– transitive law
– under the law
– unquantized law
elementary probability law — <math.> плотность распределения вероятностей
hydrostatical pressure law — гидростатический закон распределения давления
inverse square law — <phys.> закон обратный квадратичный, <math.> закон обратных квадратов
Newton's first law of motion — <phys.> закон инерции
Newton's second law of motion — <phys.> закон об ускорении и силе
Newton's third law of motion — <phys.> закон действия и противодействия
quadratic reciprocity law — <math.> закон взаимности квадратичных вычетов
strong law of large numbers — <math.> закон больших чисел усиленный, усиленный закон больших чисел
-
5 extension
1) надставка; насадка2) удлинитель3) выступающая часть, консольная часть4) пристройка5) продление; продолжение6) простирание; протяжённость; распространение7) растяжение; распрямление8) сварка установочная длина9) геод. сгущение сети опорных точек10) расширение; удлинение; добавление; увеличение11) экстенсия, разгибание•extension in space — матем. протяжённость в пространстве
extension by definition — матем. расширение с помощью определений
extension by adjunction — матем. расширение путём присоединения
-
6 operation
1) действие2) операция3) оперирование4) процесс, ход5) работа, функционирование6) срабатывание7) управление8) эксплуатация•- hereditarily recursive operationoperation under VFR — авиац. визуальное самолётовождение
См. также в других словарях:
Negation as failure — (NAF, for short) is a non monotonic inference rule in logic programming, used to derive (i.e. that is assumed not to hold) from failure to derive . Note that can be different from the statement of the logical negation of … Wikipedia
Universal quantification — In predicate logic, universal quantification is an attempt to formalize the notion that something (a logical predicate) is true for everything , or every relevant thing.The resulting statement is a universally quantified statement, and we have… … Wikipedia
Minimal negation operator — In logic and mathematics, the minimal negation operator u! is a multigrade operator ( u {k}) {k in mathbb{N where each u {k}! is a k ary boolean function defined in such a way that u {k}(x 1, ldots , x k) = 1 if and only if exactly one of the… … Wikipedia
Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… … Wikipedia
Indian philosophy — Any of the numerous philosophical systems developed on the Indian subcontinent, including both orthodox (astika) systems, namely, the Nyaya, Vaisheshika, Samkhya, Yoga, Mimamsa, and Vedanta schools of philosophy, and unorthodox (nastika) systems … Universalium
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Henry of Ghent and Duns Scotus — Stephen Dumont LIFE AND WORKS Henry of Ghent Henry of Ghent was arguably the most influential Latin theologian between Thomas Aquinas and Duns Scotus, regent as a leading master of theology at the University of Paris for the better part of the… … History of philosophy
Idealism (italian) and after — Italian idealism and after Gentile, Croce and others Giacomo Rinaldi INTRODUCTION The history of twentieth century Italian philosophy is strongly influenced both by the peculiar character of its evolution in the preceding century and by… … History of philosophy
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Dialectic — The School of Athens, by Raphael. Dialectic (also dialectics and the dialectical method) is a method of argument for resolving disagreement that has been central to Indic and European philosophy since antiquity. The word dialectic originated in… … Wikipedia
